गणितीय तर्कशास्त्र अपने आरम्भकाल से ही गणित के आधारशिलाओं (
3.
प्राय: गणितीय तर्कशास्त्र को समुच्चय सिद्धान्त, मॉडल सिद्धान्त (
4.
गणित · गणितीय तर्कशास्त्र · गणितीय सांख्यिकी · संगणक विज्ञान
5.
गणितीय तर्कशास्त्र (Mathematical logic) गणित की शाखा है किसका संगणक विज्ञान एवं दार्शनिक तर्कशास्त्र से निकट का सम्बन्ध है।
6.
गणितीय तर्कशास्त्र अपने आरम्भकाल से ही गणित के आधारशिलाओं (foundations of mathematics) के अध्ययन में सहायक सिद्ध हुआ है तथा उससे प्रेरणा पाता रहा है।
7.
प्राय: गणितीय तर्कशास्त्र को समुच्चय सिद्धान्त, मॉडल सिद्धान्त (model theory), रिकर्सन सिद्धान्त (recursion theory) तथा सिद्धि सिद्धान्त (proof theory) नामक क्षेत्रों में विभक्त किया जाता है।
8.
व्यावसायिक जीवन (अध्यापन एवं शोधकार्य) में मेरा विषय भौतिकी (फिजिक्स) रहा है, जिसके अध्ययन में गणितीय तर्कशास्त्र (मैथमैटिकल लॉजिक) की अहम भूमिका रहती है ।